Nuprl Definition : eq_id
11,40
postcript
pdf
eq_id(
a
;
b
) == eqof(id-deq)(
a
,
b
)
latex
Definitions
id-deq
,
eqof(
d
)
FDL editor aliases
eq_id
origin